Proof sum of conjugates